Logic-based artificial intelligence in systems for monitoring the enforcing traffic regulations

The Workshop on Logic-Based Artificial Intelligence

In “Abductive and Inductive Reasoning,” F. Buccafurri, T. Eiter, G. Gottlob, and N. Leone provided a first step toward integrating model-checking methods with AI. They developed an abstract concept of a system repair problem that is solved by applying logic-based abduction. S. H. Muggleton and F. A. Marginean noted that datarefinement operators in inductive logic programming have been viewed as...

a new type-ii fuzzy logic based controller for non-linear dynamical systems with application to 3-psp parallel robot

abstract type-ii fuzzy logic has shown its superiority over traditional fuzzy logic when dealing with uncertainty. type-ii fuzzy logic controllers are however newer and more promising approaches that have been recently applied to various fields due to their significant contribution especially when the noise (as an important instance of uncertainty) emerges. during the design of type- i fuz...

Artificial Intelligence and Intelligent Systems: Logic programming as a framework for Knowledge Representation and Artificial Intelligence

2 Prolog as a simple database engine 4 2.1 The subset of Prolog called Datalog . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2.2 Example: Logical circuits in Prolog . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 2.3 How Prolog answers queries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.4 A logical semantics for Prolog . . . . . . . . . . . . . . . ....

Logic and Artificial Intelligence

Nilsson, N.J., Logic and artificial intelligence, Artificial Intelligence 47 (1990) 31-56. The theoretical foundations of the logical approach to artificial intelligence are presented. Logical languages are widely used for expressing the declarative knowledge needed in artificial intelligence systems. Symbolic logic also provides a clear semantics for knowledge representation languages and a me...

Logic and Artificial Intelligence